Research on Cube-based Boolean Operation in Cellular Semantic Feature Modeling System
نویسندگان
چکیده
منابع مشابه
Research on Operation Rules Modeling in Equipment Training System
Modeling for operation rules is essential function requirement in equipment simulation training system based on VR. Aiming at the modeling actuality of present equipment operation rules, which has no systematic, no generality and no formatting expression, layered modeling system framework based on federation is brought forward referencing to the “Federation and Member” concept of HLA. Open mode...
متن کاملReasoning Boolean operation based modeling for heterogeneous objects
A reasoning Boolean operation based CAD modeling approach applied to construct heterogeneous material objects is presented. This reasoning Boolean operation consists of a merging operation and an extracting operation, and it is executed according to the material-dominant information de®ned in the designed heterogeneous object database. In addition to the material-dominant Boolean union, subtrac...
متن کاملBDD Package Based on Boolean NOR Operation
Binary Decision Diagrams (BDDs) are useful data structures for symbolic Boolean manipulations. BDDs are used in many tasks in VLSI/CAD, such as equivalence checking, property checking, logic synthesis, and false paths. In this paper we describe a new approach for the realization of a BDD package. To perform manipulations of Boolean functions, the proposed approach does not depend on the recursi...
متن کاملBoolean Operations on Feature-based Models
Boolean operations and feature-based modeling are closely linked domains. For example, several, sometimes many Boolean operations are involved during a feature instantiation or modification. So Boolean combinations are tools used “inside” feature-based modeling and it is interesting to study the way to make these operations faster or less numerous by using the fact that they are applying to fea...
متن کاملOn Boolean Feature Types
We study the compatibility of a construction proposed by Aït-Kaci to extend a poset of sorts into a lattice with the specification on type constraints on the value of attributes, through Gloess assorted signatures. We first show that it is natural to extend the poset into a boolean algebra, when one wishes to obtain a complete and complementary lattice endowed with a smooth semantics. We then s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Technology Journal
سال: 2010
ISSN: 1812-5638
DOI: 10.3923/itj.2010.956.961